$\forall$$r$, $s$:$\mathbb{Q}$. ($\neg$($r$ = 0 $\in$ $\mathbb{Q}$)) $\Rightarrow$ ((($r$/$r$) $\ast$ $s$) = $s$)